Page numbers are for draft copy at present; they will be replaced with correct numbers when final book is formatted. Chapter numbers are correct and will not change now.
A reasoning system is an algorithm, method or tool for reasoning.
Used in Chap. 2: page 13
